behavioral-level model of the temperature sensor Search Results